关键词中包括 automated proving 的文章

1 常用基本不等式的机器证明 杨路,郁文生 2011年5期 [377－390][摘要](4504)[pdf 1090KB](2261) DOI: